Shortest Hamiltonian closed circuit problem